Polynomial Time Identification of Strict Deterministic Restricted One-Counter Automata in Some Class from Positive Data
نویسندگان
چکیده
Learnability of Pregroup Grammars p. 65 A Markovian Approach to the Induction of Regular String Distributions p. 77 Learning Node Selecting Tree Transducer from Completely Annotated Examples p. 91 Identifying Clusters from Positive Data p. 103 Introducing Domain and Typing Bias in Automata Inference p. 115 Analogical Equations in Sequences: Definition and Resolution p. 127 Representing Languages by Learnable Rewriting Systems p. 139 A Divide-and-Conquer Approach to Acquire Syntactic Categories p. 151 Grammatical Inference Using Suffix Trees p. 163 Learning Stochastic Finite Automata p. 175 Navigation Pattern Discovery Using Grammatical Inference p. 187 A Corpus-Driven Context-Free Approximation of Head-Driven Phrase Structure Grammar p. 199
منابع مشابه
Polynomial Time Identification of Strict Prefix Deterministic Finite State Transducers
Introduction Gold (1967) defined the notion of identification in the limit. showed that even the class of regular languages is not identifiable in the limit from positive data. defined the notion of polynomial time identification in the limit [3]. has proposed another definition for polynomial time identifiability in the limit from positive data by making a slight modification of Pitt...
متن کاملInference of ω-Languages from Prefixes
Büchi automata are used to recognize languages of infinite words. Such languages have been introduced to describe the behavior of real time systems or infinite games. The question of inferring them from infinite examples has already been studied, but it may seem more reasonable to believe that the data from which we want to learn is a set of finite words, namely the prefixes of accepted or reje...
متن کاملAffine counter automata
We introduce an affine generalization of counter automata, and analyze their ability as well as affine finite automata. Our contributions are as follows. We show that there is a language that can be recognized by exact realtime affine counter automata but by neither 1-way deterministic pushdown automata nor realtime deterministic k-counter automata. We also show that a certain promise problem, ...
متن کاملA Polynomial-Time Algorithm for Checking the Inclusion of Deterministic Restricted One-Counter Transducers Which Accept by Final State
This paper is concerned with a subclass of deterministic pushdown transducers, called deterministic restricted one-counter transducers (droct’s), and studies the inclusion problem for droct’s which accept by final state. In the previous study, we presented a polynomialtime algorithm for checking the equivalence of these droct’s. By extending this technique, we present a polynomial-time algorith...
متن کاملLearning Visibly One-Counter Automata in Polynomial Time
Visibly one-counter automata are a restricted kind of one-counter automata: The input symbols are typed such that the type determines the instruction that is executed on the counter when the input symbol is read. We present an Angluin-like algorithm for actively learning visibly one-counter automata that runs in polynomial time in characteristic parameters of the target language and in the size...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004